$M$.bframe($k$ sends on $l$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}val(KindDeq; (($M$.2.2.2.2.2.2.2.2.2).1); $k$; $k$,$L$.($\uparrow$deq{-}member(IdLnkDeq;$l$;$L$)))